home *** CD-ROM | disk | FTP | other *** search
/ Meeting Pearls 2 / Meeting Pearls Vol. II (1995)(GTI - Schatztruhe)[!].iso / Pearls / dev / Oberon4Amiga / Coco / Coco.Tool < prev    next >
Text File  |  1993-12-09  |  3KB  |  84 lines
  1. Coco/R - the Oberon scanner and parser generator
  2.  
  3. For a complete documentation see the postscript file Coco.Report.ps.
  4.  
  5. Compiler.Compile
  6.     Sets.Mod CRS.Mod CRT.Mod CRA.Mod CRX.Mod CRP.Mod Coco.Mod ~
  7.  
  8. NOTE: the option character should be changed to "\" in Coco.Mod for Unix implementations.
  9.  
  10.  
  11. Coco.Compile *
  12. Coco.Compile ~
  13. Coco.Compile ^
  14. Coco.Compile @
  15.  
  16. (*________________________ usage ________________________*)
  17.  
  18. Coco.Compile <filename> [options]
  19.  
  20. The file CR.ATG is an example of an input file to Coco. If the grammar in the input file has the name X
  21. the generated scanner has the name XS.Mod and the generated parser has the name XP.Mod.
  22.  
  23. Options:
  24.  
  25.     /X    generates a cross reference list of all syntax symbols
  26.     /S    generates a list of all terminal start symbols and successors of nonterminal symbols.
  27.  
  28. Interface of the generated scanner:
  29.  
  30.     DEFINITION XS;
  31.         IMPORT Texts;
  32.         TYPE
  33.             ErrorProc = PROCEDURE (n: INTEGER; pos: LONGINT);
  34.         VAR
  35.             Error: ErrorProc;
  36.             col, errors, len, line, nextCol, nextLen, nextLine: INTEGER;
  37.             nextPos, pos: LONGINT;
  38.             src: Texts.Text;
  39.         PROCEDURE Reset (t: Texts.Text; pos: LONGINT; errProc: ErrorProc);
  40.         PROCEDURE Get(VAR sym: INTEGER);
  41.         PROCEDURE GetName(pos: LONGINT; len: INTEGER; VAR name: ARRAY OF CHAR);
  42.         PROCEDURE StdErrorProc (n: INTEGER; pos: LONGINT);
  43.     END XS.
  44.  
  45. Interface of the generated parser:
  46.  
  47.     DEFINITION XP;
  48.         PROCEDURE Parse;
  49.     END XP.
  50.  
  51. Example how to use the generated parts;
  52.  
  53.     Texts.OpenScanner(s, Oberon.Par.Text, Oberon.Par.Pos); Texts.Scan(s);
  54.     IF s.class = Texts.Name THEN
  55.         NEW(text); Texts.Open(text, s.s);
  56.         XS.Reset(text, 0, MyErrorHandler);
  57.         XP.Parse;
  58.     END
  59.  
  60.  
  61. Error handling in the generated parser:
  62.  
  63. The grammar has to contain hints, from which Coco can generate appropriate error handling.
  64. The hints can be placed arbitrarily on the right-hand side of a production:
  65.  
  66.     SYNC        Denotes a synchronisation point. At such points symbols are skipped until a symbol
  67.                     is found which is a legal continuation symbol at that point (or eof). SYNC is usually
  68.                     placed at points where particularly "safe" symbols are expected, i.e., symbols that
  69.                     are rarely missing or misspelled.
  70.     
  71.     WEAK s    s is an arbitrary terminal symbol (e.g., ";") which is considered "weak", because it is
  72.                     frequently missing or misspelled (e.g., a semicolon between statements).
  73.  
  74. Example:
  75.  
  76.     Statement =
  77.         SYNC
  78.         ( ident WEAK ":=" Expression
  79.         | "IF" Expression "THEN" StatSeq ["ELSE" StatSeq] "END"
  80.         | "WHILE" Expression "DO" StatSeq "END"
  81.         ).
  82.     StatSeq =
  83.         Statement { WEAK ";" Statement}.þ
  84.